:- set(i,2).
:- set(nodes,5000).
:- set(minacc,0.80).
:- set(minpos,2).
:- set(noise,5).

:- set(test_pos, 'creditscreening/extended_aleph/test3.f').
:- set(test_neg, 'creditscreening/extended_aleph/test3.n').

:- set(discretization, true).
:- set(grouping, true).

:- grouping( creditscreening(link), purchaseitem(link, attribute)).

:- discretization( creditscreening(link), age(link, attribute)).
:- discretization( creditscreening(link), deposit(link, attribute)).
:- discretization( creditscreening(link), monthlypayment(link, attribute)).
:- discretization( creditscreening(link), numbofmonths(link, attribute)).
:- discretization( creditscreening(link), numbyearscompany(link, attribute)).

:-modeh(*,creditscreening(+persona)).
:-modeb(*,jobless(+persona)).

%:-modeb(*,purchaseitem(+persona,#item)).
:-modeb(*,purchaseitem(+persona,-item)).


%:-modeb(*,age(+persona,#integer)).
:-modeb(*,age(+persona,-number)).

%:-modeb(*,deposit(+persona,#integer)).
:-modeb(*,deposit(+persona,-number)).

%:-modeb(*,monthlypayment(+persona,#integer)).
:-modeb(*,monthlypayment(+persona,-number)).

%:-modeb(*,numbofmonths(+persona,#integer)).
:-modeb(*,numbofmonths(+persona,-number)).

%:-modeb(*,numbyearscompany(+persona,#integer)).
:-modeb(*,numbyearscompany(+persona,-number)).

:-modeb(*,male(+persona)).
:-modeb(*,female(+persona)).
:-modeb(*,problematicregion(+persona)).
:-modeb(*,unmarried(+persona)).


:-determination(creditscreening/1,jobless/1).
:-determination(creditscreening/1,purchaseitem/2).
:-determination(creditscreening/1,male/1).
:-determination(creditscreening/1,female/1).
:-determination(creditscreening/1,problematicregion/1).
:-determination(creditscreening/1,unmarried/1).
:-determination(creditscreening/1,age/2).
:-determination(creditscreening/1,deposit/2).
:-determination(creditscreening/1,monthlypayment/2).
:-determination(creditscreening/1,numbofmonths/2).
:-determination(creditscreening/1,numbyearscompany/2).


   
%Personas
persona(s15). persona(s17). persona(s18). persona(s19). persona(s21). persona(s22). persona(s24). persona(s28). persona(s29). 
persona(s31). persona(s32). persona(s35). persona(s38). persona(s40). persona(s41). persona(s42). persona(s43). persona(s45). 
persona(s46). persona(s47). persona(s49). persona(s50). persona(s51). persona(s53). persona(s54). persona(s55). persona(s56). 
persona(s57). persona(s59). persona(s61). persona(s62). persona(s63). persona(s64). persona(s65). persona(s66). persona(s69). 
persona(s70). persona(s71). persona(s72). persona(s73). persona(s74). persona(s75). persona(s76). persona(s77). persona(s78). 
persona(s79). persona(s80). persona(s81). persona(s83). persona(s84). persona(s85). persona(s86). persona(s87). persona(s89). 
persona(s90). persona(s91). persona(s92). persona(s93). persona(s94). persona(s96). persona(s97). persona(s98). persona(s100).
persona(s103). persona(s104). persona(s106). persona(s108). persona(s110). persona(s116). persona(s117). persona(s118). 
persona(s119). persona(s121). persona(s122). persona(s123). persona(s124). persona(s13). persona(s16). persona(s20). persona(s23). 
persona(s25). persona(s26). persona(s27). persona(s30). persona(s33). persona(s34). persona(s36). persona(s37). persona(s39). 
persona(s44). persona(s48). persona(s52). persona(s58). persona(s60). persona(s67). persona(s68). persona(s82). persona(s88). 
persona(s95). persona(s99). persona(s101). persona(s102). persona(s105). persona(s107). persona(s109). persona(s111). 
persona(s112). persona(s113). persona(s114). persona(s115). persona(s120). persona(s125).      
 
%items
item(pc). item(car).  item(stereo). item(jewel).  item(medinstru). item(bike). item(furniture).


	 


jobless(s3). 
jobless(s10). 
jobless(s12). 
jobless(s23). 
jobless(s34). 
jobless(s39). 
jobless(s44). 
jobless(s56). 
jobless(s60). 
jobless(s82). 
jobless(s85). 
jobless(s88).
jobless(s99). 
jobless(s115).





purchaseitem(s1,pc).
purchaseitem(s2,pc).
purchaseitem(s3,pc).
purchaseitem(s4,pc).
purchaseitem(s5,pc).
purchaseitem(s6,pc).
purchaseitem(s7,pc).
purchaseitem(s8,pc).
purchaseitem(s9,pc).
purchaseitem(s10,pc).
purchaseitem(s11,car).
purchaseitem(s12,car).
purchaseitem(s13,car).
purchaseitem(s14,car).
purchaseitem(s15,car).
purchaseitem(s16,car).
purchaseitem(s17,car).
purchaseitem(s18,car).
purchaseitem(s19,car).
purchaseitem(s20,car).
purchaseitem(s21,stereo).
purchaseitem(s22,stereo).
purchaseitem(s23,stereo).
purchaseitem(s24,stereo).
purchaseitem(s25,stereo).
purchaseitem(s26,stereo).
purchaseitem(s27,stereo).
purchaseitem(s28,stereo).
purchaseitem(s29,stereo).
purchaseitem(s30,stereo).
purchaseitem(s31,stereo).
purchaseitem(s32,stereo).
purchaseitem(s33,stereo).
purchaseitem(s34,stereo).
purchaseitem(s35,stereo).
purchaseitem(s36,stereo).
purchaseitem(s37,stereo).
purchaseitem(s38,stereo).
purchaseitem(s39,stereo).
purchaseitem(s40,stereo).
purchaseitem(s41,stereo).
purchaseitem(s42,jewel).
purchaseitem(s43,jewel).
purchaseitem(s44,jewel).
purchaseitem(s45,jewel).
purchaseitem(s46,jewel).
purchaseitem(s47,jewel).
purchaseitem(s48,jewel).
purchaseitem(s49,jewel).
purchaseitem(s50,jewel).
purchaseitem(s51,jewel).
purchaseitem(s52,jewel).
purchaseitem(s53,jewel).
purchaseitem(s54,jewel).
purchaseitem(s55,jewel).
purchaseitem(s56,jewel).
purchaseitem(s57,jewel).
purchaseitem(s58,jewel).
purchaseitem(s59,jewel).
purchaseitem(s60,jewel).
purchaseitem(s61,jewel).
purchaseitem(s62,jewel).
purchaseitem(s63,medinstru).
purchaseitem(s64,medinstru).
purchaseitem(s65,medinstru).
purchaseitem(s66,medinstru).
purchaseitem(s67,medinstru).
purchaseitem(s68,medinstru).
purchaseitem(s69,medinstru).
purchaseitem(s70,medinstru).
purchaseitem(s71,medinstru).
purchaseitem(s72,medinstru).
purchaseitem(s73,medinstru).
purchaseitem(s74,medinstru).
purchaseitem(s75,medinstru).
purchaseitem(s76,medinstru).
purchaseitem(s77,medinstru).
purchaseitem(s78,medinstru).
purchaseitem(s79,medinstru).
purchaseitem(s80,medinstru).
purchaseitem(s81,medinstru).
purchaseitem(s82,medinstru).
purchaseitem(s83,medinstru).
purchaseitem(s84,jewel).
purchaseitem(s85,stereo).
purchaseitem(s86,medinstru).
purchaseitem(s87,stereo).
purchaseitem(s88,stereo).
purchaseitem(s89,stereo).
purchaseitem(s90,stereo).
purchaseitem(s91,stereo).
purchaseitem(s92,medinstru).
purchaseitem(s93,medinstru).
purchaseitem(s94,medinstru).
purchaseitem(s95,medinstru).
purchaseitem(s96,jewel).
purchaseitem(s97,jewel).
purchaseitem(s98,jewel).
purchaseitem(s99,jewel).
purchaseitem(s100,jewel).
purchaseitem(s101,jewel).
purchaseitem(s102,jewel).
purchaseitem(s103,jewel).
purchaseitem(s104,jewel).
purchaseitem(s105,jewel).
purchaseitem(s106,bike).
purchaseitem(s107,bike).
purchaseitem(s108,bike).
purchaseitem(s109,bike).
purchaseitem(s110,bike).
purchaseitem(s111,bike).
purchaseitem(s112,bike).
purchaseitem(s113,bike).
purchaseitem(s114,bike).
purchaseitem(s115,bike).
purchaseitem(s116,furniture).
purchaseitem(s117,furniture).
purchaseitem(s118,furniture).
purchaseitem(s119,furniture).
purchaseitem(s120,furniture).
purchaseitem(s121,furniture).
purchaseitem(s122,furniture).
purchaseitem(s123,furniture).
purchaseitem(s124,furniture).
purchaseitem(s125,furniture).


male(s6).
male(s7).
male(s8).
male(s9).
male(s10).
male(s16).
male(s17).
male(s18).
male(s19).
male(s20).
male(s21).
male(s22).
male(s25).
male(s27).
male(s29).
male(s37).
male(s38).
male(s39).
male(s40).
male(s41).
male(s42).
male(s43).
male(s45).
male(s48).
male(s49).
male(s51).
male(s58).
male(s59).
male(s60).
male(s61).
male(s62).
male(s68).
male(s69).
male(s70).
male(s71).
male(s72).
male(s74).
male(s76).
male(s77).
male(s79).
male(s80).
male(s82).
male(s84).
male(s86).
male(s89).
male(s90).
male(s91).
male(s92).
male(s94).
male(s97).
male(s98).
male(s102).
male(s103).
male(s104).
male(s105).
male(s106).
male(s107).
male(s108).
male(s109).
male(s110).
male(s121).
male(s122).
male(s123).
male(s124).
male(s125).


female(s1).
female(s2).
female(s3).
female(s4).
female(s5).
female(s11).
female(s12).
female(s13).
female(s14).
female(s15).
female(s23).
female(s24).
female(s26).
female(s28).
female(s30).
female(s31).
female(s32).
female(s33).
female(s34).
female(s35).
female(s36).
female(s44).
female(s46).
female(s47).
female(s50).
female(s52).
female(s53).
female(s54).
female(s55).
female(s56).
female(s57).
female(s63).
female(s64).
female(s65).
female(s66).
female(s67).
female(s73).
female(s75).
female(s78).
female(s81).
female(s83).
female(s85).
female(s87).
female(s88).
female(s93).
female(s95).
female(s96).
female(s99).
female(s100).
female(s101).
female(s111).
female(s112).
female(s113).
female(s114).
female(s115).
female(s116).
female(s117).
female(s118).
female(s119).
female(s120).


unmarried(s1).
unmarried(s2).
unmarried(s5).
unmarried(s6).
unmarried(s7).
unmarried(s11).
unmarried(s13).
unmarried(s14).
unmarried(s16).
unmarried(s18).
unmarried(s22).
unmarried(s25).
unmarried(s26).
unmarried(s28).
unmarried(s30).
unmarried(s31).
unmarried(s32).
unmarried(s33).
unmarried(s34).
unmarried(s37).
unmarried(s41).
unmarried(s43).
unmarried(s46).
unmarried(s48).
unmarried(s50).
unmarried(s52).
unmarried(s53).
unmarried(s54).
unmarried(s55).
unmarried(s59).
unmarried(s60).
unmarried(s63).
unmarried(s68).
unmarried(s70).
unmarried(s74).
unmarried(s75).
unmarried(s76).
unmarried(s78).
unmarried(s82).
unmarried(s84).
unmarried(s86).
unmarried(s87).
unmarried(s90).
unmarried(s93).
unmarried(s95).
unmarried(s96).
unmarried(s97).
unmarried(s100).
unmarried(s101).
unmarried(s102).
unmarried(s104).
unmarried(s105).
unmarried(s106).
unmarried(s107).
unmarried(s108).
unmarried(s109).
unmarried(s114).
unmarried(s118).
unmarried(s123).


problematicregion(s3).
problematicregion(s5).
problematicregion(s23).
problematicregion(s30).
problematicregion(s33).
problematicregion(s39).
problematicregion(s48).
problematicregion(s60).
problematicregion(s68).
problematicregion(s72).
problematicregion(s76).
problematicregion(s78).
problematicregion(s84).
problematicregion(s105).


age(s1,18).
age(s2,20).
age(s3,25).
age(s4,40).
age(s5,50).
age(s6,18).
age(s7,22).
age(s8,28).
age(s9,40).
age(s10,50).
age(s11,18).
age(s12,20).
age(s13,25).
age(s14,38).
age(s15,50).
age(s16,19).
age(s17,21).
age(s18,25).
age(s19,38).
age(s20,50).
age(s21,42).
age(s22,28).
age(s23,55).
age(s24,21).
age(s25,81).
age(s26,23).
age(s27,35).
age(s28,47).
age(s29,98).
age(s30,68).
age(s31,27).
age(s32,19).
age(s33,23).
age(s34,25).
age(s35,31).
age(s36,34).
age(s37,20).
age(s38,32).
age(s39,38).
age(s40,45).
age(s41,57).
age(s42,25).
age(s43,42).
age(s44,61).
age(s45,48).
age(s46,29).
age(s47,35).
age(s48,40).
age(s49,31).
age(s50,37).
age(s51,23).
age(s52,70).
age(s53,21).
age(s54,29).
age(s55,37).
age(s56,43).
age(s57,51).
age(s58,19).
age(s59,24).
age(s60,33).
age(s61,42).
age(s62,59).
age(s63,32).
age(s64,37).
age(s65,41).
age(s66,50).
age(s67,55).
age(s68,37).
age(s69,40).
age(s70,46).
age(s71,57).
age(s72,63).
age(s73,52).
age(s74,27).
age(s75,35).
age(s76,26).
age(s77,59).
age(s78,23).
age(s79,51).
age(s80,38).
age(s81,48).
age(s82,67).
age(s83,33).
age(s84,37).
age(s85,52).
age(s86,29).
age(s87,23).
age(s88,70).
age(s89,25).
age(s90,65).
age(s91,30).
age(s92,35).
age(s93,27).
age(s94,40).
age(s95,37).
age(s96,40).
age(s97,27).
age(s98,55).
age(s99,60).
age(s100,45).
age(s101,20).
age(s102,18).
age(s103,35).
age(s104,35).
age(s105,35).
age(s106,18).
age(s107,18).
age(s108,22).
age(s109,22).
age(s110,25).
age(s111,18).
age(s112,18).
age(s113,22).
age(s114,22).
age(s115,25).
age(s116,40).
age(s117,50).
age(s118,30).
age(s119,35).
age(s120,25).
age(s121,40).
age(s122,50).
age(s123,30).
age(s124,35).
age(s125,25).



deposit(s1,20).
deposit(s2,10).
deposit(s3,5).
deposit(s4,5).
deposit(s5,5).
deposit(s6,10).
deposit(s7,10).
deposit(s8,15).
deposit(s9,20).
deposit(s10,5).
deposit(s11,50).
deposit(s12,50).
deposit(s13,50).
deposit(s14,150).
deposit(s15,50).
deposit(s16,50).
deposit(s17,150).
deposit(s18,150).
deposit(s19,100).
deposit(s20,50).
deposit(s21,90).
deposit(s22,10).
deposit(s23,30).
deposit(s24,10).
deposit(s25,20).
deposit(s26,80).
deposit(s27,7).
deposit(s28,5).
deposit(s29,10).
deposit(s30,2).
deposit(s31,6).
deposit(s32,5).
deposit(s33,5).
deposit(s34,10).
deposit(s35,10).
deposit(s36,1).
deposit(s37,10).
deposit(s38,5).
deposit(s39,3).
deposit(s40,10).
deposit(s41,70).
deposit(s42,16).
deposit(s43,19).
deposit(s44,49).
deposit(s45,30).
deposit(s46,31).
deposit(s47,21).
deposit(s48,9).
deposit(s49,6).
deposit(s50,9).
deposit(s51,21).
deposit(s52,9).
deposit(s53,40).
deposit(s54,10).
deposit(s55,35).
deposit(s56,10).
deposit(s57,40).
deposit(s58,5).
deposit(s59,40).
deposit(s60,100).
deposit(s61,30).
deposit(s62,50).
deposit(s63,400).
deposit(s64,100).
deposit(s65,50).
deposit(s66,300).
deposit(s67,100).
deposit(s68,300).
deposit(s69,500).
deposit(s70,200).
deposit(s71,100).
deposit(s72,50).
deposit(s73,50).
deposit(s74,500).
deposit(s75,150).
deposit(s76,200).
deposit(s77,100).
deposit(s78,250).
deposit(s79,50).
deposit(s80,300).
deposit(s81,100).
deposit(s82,400).
deposit(s83,500).
deposit(s84,200).
deposit(s85,100).
deposit(s86,100).
deposit(s87,2).
deposit(s88,2).
deposit(s89,5).
deposit(s90,5).
deposit(s91,10).
deposit(s92,500).
deposit(s93,50).
deposit(s94,50).
deposit(s95,200).
deposit(s96,30).
deposit(s97,15).
deposit(s98,50).
deposit(s99,5).
deposit(s100,20).
deposit(s101,20).
deposit(s102,10).
deposit(s103,20).
deposit(s104,10).
deposit(s105,10).
deposit(s106,15).
deposit(s107,10).
deposit(s108,20).
deposit(s109,10).
deposit(s110,10).
deposit(s111,10).
deposit(s112,10).
deposit(s113,20).
deposit(s114,10).
deposit(s115,10).
deposit(s116,50).
deposit(s117,100).
deposit(s118,50).
deposit(s119,20).
deposit(s120,30).
deposit(s121,60).
deposit(s122,90).
deposit(s123,70).
deposit(s124,20).
deposit(s125,20).


monthlypayment(s1,2).
monthlypayment(s2,2).
monthlypayment(s3,4).
monthlypayment(s4,7).
monthlypayment(s5,4).
monthlypayment(s6,5).
monthlypayment(s7,3).
monthlypayment(s8,4).
monthlypayment(s9,2).
monthlypayment(s10,4).
monthlypayment(s11,8).
monthlypayment(s12,10).
monthlypayment(s13,5).
monthlypayment(s14,10).
monthlypayment(s15,15).
monthlypayment(s16,7).
monthlypayment(s17,3).
monthlypayment(s18,10).
monthlypayment(s19,10).
monthlypayment(s20,10).
monthlypayment(s21,2).
monthlypayment(s22,10).
monthlypayment(s23,10).
monthlypayment(s24,1).
monthlypayment(s25,4).
monthlypayment(s26,10).
monthlypayment(s27,10).
monthlypayment(s28,3).
monthlypayment(s29,15).
monthlypayment(s30,7).
monthlypayment(s31,10).
monthlypayment(s32,2).
monthlypayment(s33,1).
monthlypayment(s34,4).
monthlypayment(s35,2).
monthlypayment(s36,10).
monthlypayment(s37,2).
monthlypayment(s38,4).
monthlypayment(s39,1).
monthlypayment(s40,7).
monthlypayment(s41,6).
monthlypayment(s42,3).
monthlypayment(s43,9).
monthlypayment(s44,8).
monthlypayment(s45,2).
monthlypayment(s46,10).
monthlypayment(s47,19).
monthlypayment(s48,9).
monthlypayment(s49,2).
monthlypayment(s50,5).
monthlypayment(s51,9).
monthlypayment(s52,4).
monthlypayment(s53,5).
monthlypayment(s54,2).
monthlypayment(s55,3).
monthlypayment(s56,2).
monthlypayment(s57,3).
monthlypayment(s58,1).
monthlypayment(s59,5).
monthlypayment(s60,2).
monthlypayment(s61,3).
monthlypayment(s62,4).
monthlypayment(s63,20).
monthlypayment(s64,80).
monthlypayment(s65,50).
monthlypayment(s66,30).
monthlypayment(s67,60).
monthlypayment(s68,50).
monthlypayment(s69,20).
monthlypayment(s70,50).
monthlypayment(s71,50).
monthlypayment(s72,50).
monthlypayment(s73,20).
monthlypayment(s74,10).
monthlypayment(s75,18).
monthlypayment(s76,20).
monthlypayment(s77,20).
monthlypayment(s78,10).
monthlypayment(s79,20).
monthlypayment(s80,10).
monthlypayment(s81,20).
monthlypayment(s82,15).
monthlypayment(s83,12).
monthlypayment(s84,50).
monthlypayment(s85,5).
monthlypayment(s86,30).
monthlypayment(s87,2).
monthlypayment(s88,10).
monthlypayment(s89,2).
monthlypayment(s90,2).
monthlypayment(s91,10).
monthlypayment(s92,20).
monthlypayment(s93,50).
monthlypayment(s94,50).
monthlypayment(s95,40).
monthlypayment(s96,2).
monthlypayment(s97,2).
monthlypayment(s98,3).
monthlypayment(s99,10).
monthlypayment(s100,20).
monthlypayment(s101,10).
monthlypayment(s102,7).
monthlypayment(s103,10).
monthlypayment(s104,10).
monthlypayment(s105,10).
monthlypayment(s106,1).
monthlypayment(s107,5).
monthlypayment(s108,5).
monthlypayment(s109,5).
monthlypayment(s110,5).
monthlypayment(s111,2).
monthlypayment(s112,5).
monthlypayment(s113,5).
monthlypayment(s114,5).
monthlypayment(s115,5).
monthlypayment(s116,5).
monthlypayment(s117,10).
monthlypayment(s118,5).
monthlypayment(s119,10).
monthlypayment(s120,7).
monthlypayment(s121,5).
monthlypayment(s122,10).
monthlypayment(s123,5).
monthlypayment(s124,4).
monthlypayment(s125,7).


numbofmonths(s1,15).
numbofmonths(s2,20).
numbofmonths(s3,12).
numbofmonths(s4,12).
numbofmonths(s5,12).
numbofmonths(s6,8).
numbofmonths(s7,8).
numbofmonths(s8,10).
numbofmonths(s9,20).
numbofmonths(s10,12).
numbofmonths(s11,20).
numbofmonths(s12,20).
numbofmonths(s13,20).
numbofmonths(s14,20).
numbofmonths(s15,20).
numbofmonths(s16,20).
numbofmonths(s17,20).
numbofmonths(s18,20).
numbofmonths(s19,20).
numbofmonths(s20,30).
numbofmonths(s21,6).
numbofmonths(s22,5).
numbofmonths(s23,8).
numbofmonths(s24,12).
numbofmonths(s25,10).
numbofmonths(s26,6).
numbofmonths(s27,4).
numbofmonths(s28,7).
numbofmonths(s29,5).
numbofmonths(s30,8).
numbofmonths(s31,6).
numbofmonths(s32,20).
numbofmonths(s33,10).
numbofmonths(s34,20).
numbofmonths(s35,10).
numbofmonths(s36,20).
numbofmonths(s37,20).
numbofmonths(s38,10).
numbofmonths(s39,20).
numbofmonths(s40,20).
numbofmonths(s41,5).
numbofmonths(s42,20).
numbofmonths(s43,8).
numbofmonths(s44,4).
numbofmonths(s45,10).
numbofmonths(s46,8).
numbofmonths(s47,5).
numbofmonths(s48,10).
numbofmonths(s49,15).
numbofmonths(s50,12).
numbofmonths(s51,10).
numbofmonths(s52,8).
numbofmonths(s53,10).
numbofmonths(s54,12).
numbofmonths(s55,10).
numbofmonths(s56,20).
numbofmonths(s57,10).
numbofmonths(s58,20).
numbofmonths(s59,10).
numbofmonths(s60,5).
numbofmonths(s61,10).
numbofmonths(s62,10).
numbofmonths(s63,20).
numbofmonths(s64,10).
numbofmonths(s65,20).
numbofmonths(s66,20).
numbofmonths(s67,20).
numbofmonths(s68,10).
numbofmonths(s69,20).
numbofmonths(s70,10).
numbofmonths(s71,20).
numbofmonths(s72,20).
numbofmonths(s73,20).
numbofmonths(s74,5).
numbofmonths(s75,12).
numbofmonths(s76,10).
numbofmonths(s77,20).
numbofmonths(s78,10).
numbofmonths(s79,20).
numbofmonths(s80,10).
numbofmonths(s81,20).
numbofmonths(s82,5).
numbofmonths(s83,5).
numbofmonths(s84,10).
numbofmonths(s85,5).
numbofmonths(s86,20).
numbofmonths(s87,10).
numbofmonths(s88,5).
numbofmonths(s89,10).
numbofmonths(s90,10).
numbofmonths(s91,10).
numbofmonths(s92,20).
numbofmonths(s93,20).
numbofmonths(s94,20).
numbofmonths(s95,20).
numbofmonths(s96,10).
numbofmonths(s97,12).
numbofmonths(s98,10).
numbofmonths(s99,10).
numbofmonths(s100,10).
numbofmonths(s101,10).
numbofmonths(s102,12).
numbofmonths(s103,10).
numbofmonths(s104,10).
numbofmonths(s105,10).
numbofmonths(s106,10).
numbofmonths(s107,10).
numbofmonths(s108,10).
numbofmonths(s109,10).
numbofmonths(s110,10).
numbofmonths(s111,10).
numbofmonths(s112,10).
numbofmonths(s113,10).
numbofmonths(s114,10).
numbofmonths(s115,10).
numbofmonths(s116,20).
numbofmonths(s117,12).
numbofmonths(s118,20).
numbofmonths(s119,15).
numbofmonths(s120,20).
numbofmonths(s121,20).
numbofmonths(s122,12).
numbofmonths(s123,20).
numbofmonths(s124,15).
numbofmonths(s125,20).





numbyearscompany(s1,1).
numbyearscompany(s2,2).
numbyearscompany(s3,0).
numbyearscompany(s4,2).
numbyearscompany(s5,25).
numbyearscompany(s6,1).
numbyearscompany(s7,4).
numbyearscompany(s8,5).
numbyearscompany(s9,15).
numbyearscompany(s10,0).
numbyearscompany(s11,1).
numbyearscompany(s12,2).
numbyearscompany(s13,5).
numbyearscompany(s14,15).
numbyearscompany(s16,2).
numbyearscompany(s17,3).
numbyearscompany(s18,2).
numbyearscompany(s19,15).
numbyearscompany(s20,2).
numbyearscompany(s21,7).
numbyearscompany(s22,3).
numbyearscompany(s23,0).
numbyearscompany(s24,1).
numbyearscompany(s25,0).
numbyearscompany(s26,1).
numbyearscompany(s27,5).
numbyearscompany(s28,8).
numbyearscompany(s29,0).
numbyearscompany(s30,0).
numbyearscompany(s31,4).
numbyearscompany(s32,1).
numbyearscompany(s33,3).
numbyearscompany(s34,0).
numbyearscompany(s35,9).
numbyearscompany(s36,12).
numbyearscompany(s37,2).
numbyearscompany(s38,14).
numbyearscompany(s39,0).
numbyearscompany(s40,1).
numbyearscompany(s41,35).
numbyearscompany(s42,3).
numbyearscompany(s43,7).
numbyearscompany(s44,0).
numbyearscompany(s45,11).
numbyearscompany(s46,5).
numbyearscompany(s47,13).
numbyearscompany(s48,1).
numbyearscompany(s49,6).
numbyearscompany(s50,9).
numbyearscompany(s51,2).
numbyearscompany(s52,0).
numbyearscompany(s53,3).
numbyearscompany(s54,7).
numbyearscompany(s55,13).
numbyearscompany(s56,0).
numbyearscompany(s57,11).
numbyearscompany(s58,1).
numbyearscompany(s59,2).
numbyearscompany(s60,0).
numbyearscompany(s61,20).
numbyearscompany(s62,37).
numbyearscompany(s63,2).
numbyearscompany(s64,1).
numbyearscompany(s65,18).
numbyearscompany(s66,27).
numbyearscompany(s67,30).
numbyearscompany(s68,1).
numbyearscompany(s69,10).
numbyearscompany(s70,18).
numbyearscompany(s71,30).
numbyearscompany(s72,25).
numbyearscompany(s73,11).
numbyearscompany(s74,2).
numbyearscompany(s75,7).
numbyearscompany(s76,13).
numbyearscompany(s77,3).
numbyearscompany(s78,1).
numbyearscompany(s79,9).
numbyearscompany(s80,5).
numbyearscompany(s81,6).
numbyearscompany(s82,0).
numbyearscompany(s83,6).
numbyearscompany(s84,25).
numbyearscompany(s85,0).
numbyearscompany(s86,1).
numbyearscompany(s87,5).
numbyearscompany(s88,0).
numbyearscompany(s89,5).
numbyearscompany(s90,5).
numbyearscompany(s91,7).
numbyearscompany(s92,7).
numbyearscompany(s93,1).
numbyearscompany(s94,12).
numbyearscompany(s95,2).
numbyearscompany(s96,5).
numbyearscompany(s97,5).
numbyearscompany(s98,25).
numbyearscompany(s99,0).
numbyearscompany(s100,10).
numbyearscompany(s101,2).
numbyearscompany(s102,1).
numbyearscompany(s103,13).
numbyearscompany(s104,2).
numbyearscompany(s105,2).
numbyearscompany(s106,1).
numbyearscompany(s107,1).
numbyearscompany(s108,5).
numbyearscompany(s109,2).
numbyearscompany(s110,5).
numbyearscompany(s111,1).
numbyearscompany(s112,1).
numbyearscompany(s113,5).
numbyearscompany(s114,2).
numbyearscompany(s115,5).
numbyearscompany(s116,20).
numbyearscompany(s117,20).
numbyearscompany(s118,3).
numbyearscompany(s119,13).
numbyearscompany(s120,2).
numbyearscompany(s121,20).
numbyearscompany(s122,20).
numbyearscompany(s123,10).
numbyearscompany(s124,13).
numbyearscompany(s125,1).



